https://filesoo.com/product/1456/теория-рекурсивных-функций-и-эффективная-вычислимость